Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
651	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:36 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
652	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: ezyang.com Language: English - Date: 2015-03-19 00:33:40 Metalogic Logic Structure Programming language Mathematics Formal languages Model theory
653	Driver Model, Kconfig and a little Patman U-Boot Miniconf Edinburgh Oct-13 Simon Glass Add to Reading List Source URL: www.denx.de Language: English - Date: 2013-10-31 05:20:28 C++ C programming language Procedural programming languages Struct C++ classes C ALGOL 68 Programming language theory Computing Software engineering
654	Microsoft Word - FACM_17092014_AGN_AT Add to Reading List Source URL: ropergulf.nt.gov.au Language: English - Date: 2014-09-11 02:26:09 Committee Computing Programming language theory ALGOL 68 Software engineering
655	Discussion of C11 DR452 N1888 Blaine Garst October 28, 2014 revised Nov 5 with N# In DR452 (derived from N1762) Shao Miller asks several questions regarding effective Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-11-05 14:38:29 C programming language Procedural programming languages Data types Type theory C++ Value Struct C++ classes C Software engineering Computing Computer programming
656	Microsoft Word - CoverPages-from-LAAS.doc Add to Reading List Source URL: www.resist-noe.org Language: English - Date: 2007-07-16 10:09:10 Dependability Quality Safety Safety engineering Security ALGOL 58 Actor model Eval Model checking Computing Software engineering Programming language theory
657	Compiler Tools in APL Robert Bernecky Snake Island Research Inc 18 Fifth Street, Ward’s Island Toronto, Ontario M5J 2B9 Canada Add to Reading List Source URL: www.snakeisland.com Language: English - Date: 2008-07-16 14:59:20 APL programming language family Array programming languages Models of computation Automata theory Functional languages Finite-state machine APL LALR parser LR parser Software engineering Computing Computer programming
658	Celeste - Distributed Secure Storage Add to Reading List Source URL: www.fp6-noah.org Language: English - Date: 2008-05-24 13:53:07 Civil law Digital signature Programming language theory Cyberwarfare Gamper Intrusion detection system Pascal
659	LIBNVVM API v7.0 \| March 2015 API Reference Manual Add to Reading List Source URL: docs.nvidia.com Language: English - Date: 2015-02-18 15:11:45 Application programming interface Technical communication C Parameter Type system Software engineering Computing Programming language theory

UPDATE